<?php

$start = microtime(true);
echo 'Hello World <br />';
echo (microtime(true) - $start) * 1000;
